OCL 2.0 - Implementing the Standard for Multiple Metamodels
نویسندگان
چکیده
OCL 2.0 is the newest version of the OMG’s constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language to modelling with these languages is essential. As tools are built to support the modelling languages, it is also necessary to implement the OCL. This paper reports our experience of implementing OCL based on the latest version of the OMG’s OCL standard. We provide an efficient LALR grammar for parsing the language and describe an architecture that enables the language to be bridged to any OO modelling language. In addition we give feedback on problems and ambiguities discovered in the standard, with some suggested solutions.
منابع مشابه
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semanti...
متن کاملModeling the OCL Standard Library
OCL is widely used by UML and other languages to constrain metamodels and perform evaluations on models. The OCL specification is the result of diligent but time-constrained human endeavor and so contains many inconsistencies, most of which are relatively easy to ignore as obvious typographical mistakes. However the need to ignore minor discrepancies undermines rigorous treatment of more signif...
متن کاملA Metamodel-Based OCL-Compiler for UML and MOF
After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language concepts and semantics. Based on thi...
متن کاملA MOF 2.0 Editor as Plug-in for FUJABA
In this paper we describe how we build a MOF 2.0 editor as a plug-in for Fujaba. The new versions of UML and MOF offer new concepts for structural modeling. We will use these new concepts to generate metamodels for several domains in compliance with common standards like MOF 2.0, JMI, OCL. We figure out how our efforts can be used as a starting point to improve Fujaba with regard to UML 2.0. Fi...
متن کاملImplementing an OCL 2.0 Compiler for Metamodeling Environments
The Unified Modeling Language (UML) has become a standard in modeling, but it cannot express all the necessary modeling information between the model items. Object Constraint Language (OCL) is used to extend the capabilities of UML diagrams, and define constraints for the model items. The combination of UML and OCL can be used to realize vision of OMG’s Model Driven Architecture (MDA). OCL is b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 102 شماره
صفحات -
تاریخ انتشار 2004